In 2001, Le Bars proved that there exists an existential monadic second-order sentence such that the probability that it is true on [Formula: see text] does not converge and conjectured that, for EMSO sentences with two first-order variables, the zero–one law holds. In this paper, we prove that the conjecture fails for [Formula: see text], and give new examples of sentences with fewer variables without convergence.

Insight experiences are sudden, persuasive, and can accompany valuable new ideas in science and art. In this preregistered experiment, we aim to validate a novel visceral and continuous measure of insight problem solving and to test whether real-time and embodied feelings of insight can predict correct solutions. We report several findings. Consistent with recent work, we find a strong positive relationship between Aha moments and accuracy for problems that demand implicit processing. We also found that the intensity of the insight (...) experience further predicted the accuracy of solutions and participants naturally embodied the intensity of their insight experiences by squeezing the dynamometer more tightly. Intriguingly, this unintentional embodiment further predicted the accuracy of solutions. We suggest that the dynamometer complements previous measures by (1) simultaneously capturing both process and feeling in real-time, (2) highlights the value of measuring Aha moments on a continuum of intensity, and (3) firmly establishes that the impulsive feeling of Aha can carry information about the veracity of an idea. We discuss the findings in light of a recent theoretical account of how feelings of insight may act as a heuristic to select ideas from the stream of consciousness. (shrink)

Our sense of self includes awareness of our thoughts and movements, and our control over them. This feeling can be altered or lost in neuropsychiatric disorders as well as in phenomena such as “automatic writing” whereby writing is attributed to an external source. Here, we employed suggestion in highly hypnotically suggestible participants to model various experiences of automatic writing during a sentence completion task. Results showed that the induction of hypnosis, without additional suggestion, was associated with a small but significant (...) reduction of control, ownership, and awareness for writing. Targeted suggestions produced a double dissociation between thought and movement components of writing, for both feelings of control and ownership, and additionally, reduced awareness of writing. Overall, suggestion produced selective alterations in the control, ownership, and awareness of thought and motor components of writing, thus enabling key aspects of automatic writing, observed across different clinical and cultural settings, to be modelled. (shrink)

Provability, Computability and Reflection.

The same research proposal was submitted to 24 district health authority (DHA) research ethics committees in different parts of the country. The objective was to obtain permission for a multi-centre research project. The study of neonatal care in different types of unit (regional, subregional and district), required that four health authorities were approached in each of six widely separated health regions in England. Data were collected and compared concerning aspects of processing, including application forms, information required, timing and decision-making. The (...) key finding was that ethics committees received and processed the applications variably, reflecting individual factors and local problems. To improve consensus and facilitate multicentre studies, standard forms and instructions are suggested and the establishment of a national committee or advisory group advocated. (shrink)

Technology has advanced significantly over the past decades. Significant changes have occurred in the field of translation with the development of programs such as Google.translate and Yandex.translator. The presented applications are already being actively implemented in translation agencies to optimize translation activities, where written translations of documents, articles, annotations, etc. must be provided to customers as quick as possible. While working with popular science text, online programs help translators gain time, but this requires to edit the text. The artistic style (...) requires more concentration and dedication, because. the means of expression presented in it require taking into account the context and nuances of the use of certain units of language. Machine translation has the potential to become an indispensable assistant in the hands of a translator. This article discusses machine translation of expressive means, namely metaphors. The study is illustrated with examples and a comparative analysis of the translation of metaphorical units is carried out, the classification of metaphors is identified and an analysis is carried out with which means of expression the translator is able to cope with. The difficulties of translating metaphors are analyzed. (shrink)

We show that the analysis of Keisler’s order can be localized to the study of φ-types. Specifically, if is a regular ultrafilter on λ such that and M is a model whose theory is countable, then is λ+-saturated iff it realizes all φ-types of size λ.

This article develops an account of the nature and limits of the state’s legislative authority that closely attends to the challenge of harmonizing Kant’s ethical and juridical theories. It clarifies some key Kantian concepts and terms, then explains the way in which the state’s three interlocking authorities – legislative, executive, and judicial – are metaphysically distinct and mutually dependent. It describes the emergence of the Kantian state and identifies the preconditions of its authority. Then it offers a metaphysical model of (...) the Kantian state and uses it to argue that the activity of juridical lawgiving is an act of the omnilateral will itself. Legislative authority is limited in the sense that it does not include the capacity to create juridical laws that are conceptually incompatible with the idea of universal external freedom. I argue that my proposed account of the legislative authority is wholly consistent with that authority’s exclusive lawgiving capacity and does not threaten the possibility of ‘distributive justice’ – the legal finality that is the sine qua non of a civil condition. (shrink)

Intuitionism has for many years been a poor relation among the various metaethical theories, commonly thought both parochial and irrational. Most recent writers who attempt a survey of ethical theory mention it briefly in an embarrassed sort of way, and then dismiss it in a paragraph or two. John Rawls, however, does not share this common attitude. In his recent book he represents his own theory as being an alternative both to intuitionism and to utilitarianism, and it is apparent from (...) his discussion that he takes both of these latter theories seriously, as having substantial attraction to reasonable men. Those sympathetic to intuitionism have no doubt been cheered by Rawls’ respectful treatment; but they are likely also to have been dismayed by the fact that, because he focuses upon a somewhat unusual understanding of it, he does not make clear how his theory stands in relation to intuitionism in its most general form, nor whether there are varieties of intuitionism consistent with the whole of his theory or at least with important parts of it. I shall try to answer these questions here. (shrink)

Decisions related to animal welfare standards depend on farmer’s multiple goals and values and are constrained by a wide range of external and internal forces. The aim of this paper is twofold, i.e., to develop a theoretical framework for farmers’ AW decisions that incorporates farmers’ goals, use and non-use values and to present an approach to empirically implement the theoretical framework. The farmer as a head of the farm household makes choices regarding production to maximize the utility of the household. (...) The overall utility of the farmer is determined by his multiple objectives. For the analysis of multi-objective problems, the multiple criteria decision - making paradigm provides an appropriate theoretical framework. However, theories from the field of social-psychology are needed to facilitate the identification of all relevant aspects in the decision making. The practical use of the conceptual framework is demonstrated using a simple numerical application of a multi-objective programming model. Two workshops were devoted to examining the scientific consistency and the practical usefulness of the approach. Implementing this approach will increase knowledge of the main factors and barriers that determine farmers’ decisions with regard to AW standards. This knowledge is relevant during the development of new AW concepts that aims to supply products that comply with above-legal AW standards for middle-market segments. (shrink)

ABSTRACTThere are two distinct types of legal wrongdoing: civil and criminal. This article demonstrates in three ways that Immanuel Kant's Universal Principle of Right, properly interpreted, offers a plausible and resilient account of this important distinction. First, Kant's principle correctly identifies attempted crimes as crimes themselves even when they do not violate the rights of any individual. Second, it justifies our treatment of reckless endangerment as a crime by distinguishing it from ordinary negligence, traditionally thought to be only civilly wrong. (...) Third, it explains and justifies differences between the features of traditional criminal punishments and the features of civil remedies. Moreover, the Universal Principle of Right yields a Kantian standard for criminal wrongdoing that is compelling enough to inform future philosophical inquiries into the nature and limits of the state's criminal lawmaking authority. (shrink)

We give a review of recent progress on the application of the relativistic chiral SU(3) Lagrangian to meson–baryon scattering. It is shown that a combined chiral and 1/Nc expansion of the Bethe–Salpeter interaction kernel leads to a good description of the kaon–nucleon, antikaon–nucleon and pion–nucleon scattering data typically up to laboratory momenta of p lab ≃500 MeV. We solve the covariant coupled channel Bethe–Salpeter equation with the interaction kernel truncated to chiral order Q 3 where we include only those terms (...) which are leading in the large Nc limit of QCD. (shrink)